*************************************************************
Informe de errores de la comprobación semántica para definiciones de test
No existen errores.